home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Internet Tools 1993 July / Internet Tools.iso / RockRidge / mail / pp / pp-6.0 / doc / manual / Makefile < prev    next >
Encoding:
Makefile  |  1991-12-16  |  678 b   |  38 lines
  1. # Documentation building Makefile
  2. #
  3. ############################################################
  4. #
  5. # @(#) $Header$
  6. #
  7. # $Log$
  8. #
  9. ############################################################
  10. #
  11. # Definitions
  12. #
  13. ############################################################
  14.  
  15.  
  16.  
  17. VOLS = volume0 volume1 volume2 volume3 
  18. INPUTS = texinputs
  19.  
  20. default: all
  21.  
  22. all:
  23.         @for x in $(VOLS) ; \
  24.         do (echo "cd $$x;$(MAKE)"; cd $$x ; $(MAKE)); done
  25.  
  26. ps: true
  27.         @for x in $(VOLS); \
  28.         do (echo "cd $$x; $(MAKE) $@"; cd $$x; $(MAKE) $@); done
  29.  
  30. clean tidy:
  31.         @for x in $(VOLS) ; \
  32.         do (echo "cd $$x; $(MAKE) $@"; cd $$x ; $(MAKE) $@ ); done
  33.         rm -f core *.old *.BAK
  34.  
  35. define depend lint install:;
  36.  
  37. true:
  38.